تعداد ۱ پاسخ غیر تکراری از ۱ پاسخ تکراری در مدت زمان ۰,۲۸ ثانیه یافت شد.

1. Automated deduction, CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings

پدیدآورنده : Claude Kirchner, Helene Kirchner, )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

1421

»
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها